1. Forma y modalidad :
پدیدآورنده : Mario Gómez Torrente.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)
رده :
BC135
.
G65
2000
2. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
3. Objects and modalities : a study in the semantics of modal logic
پدیدآورنده : Tulenheimo, Tero
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6T85
4. Temporal logic
پدیدآورنده : [by] Nicholas Rescher and Alasdair Urquhart
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Time,Modality (Logic)
رده :
BC
,
135
,.
R448